1
Logical reasoning : a first course

Logical reasoning : a first course

Տարի:
2011
Լեզու:
english
Ֆայլ:
PDF, 10.06 MB
0 / 0
english, 2011
2
Logical Reasoning: A First Course

Logical Reasoning: A First Course

Տարի:
2004
Լեզու:
english
Ֆայլ:
PDF, 80.72 MB
0 / 3.0
english, 2004
3
A Modern Perspective on Type Theory: From its Origins until Today

A Modern Perspective on Type Theory: From its Origins until Today

Տարի:
2005
Լեզու:
english
Ֆայլ:
DJVU, 3.48 MB
0 / 0
english, 2005
5
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings

Տարի:
2021
Լեզու:
english
Ֆայլ:
PDF, 10.70 MB
0 / 5.0
english, 2021
6
Thirty Five Years of Automating Mathematics

Thirty Five Years of Automating Mathematics

Տարի:
2003
Լեզու:
english
Ֆայլ:
DJVU, 3.65 MB
0 / 0
english, 2003
7
A Modern Perspective on Type Theory: From its Origins until Today

A Modern Perspective on Type Theory: From its Origins until Today

Տարի:
2005
Լեզու:
english
Ֆայլ:
PDF, 5.91 MB
0 / 0
english, 2005
8
Thirty Five Years of Automating Mathematics

Thirty Five Years of Automating Mathematics

Տարի:
2003
Լեզու:
english
Ֆայլ:
PDF, 10.51 MB
0 / 0
english, 2003